2

Type analysis of prolog using type graphs

Year:
1995
Language:
english
File:
PDF, 1.69 MB
english, 1995
4

Evaluation of the domain prop

Year:
1995
Language:
english
File:
PDF, 2.26 MB
english, 1995
8

Reexecution in abstract interpretation of Prolog

Year:
1995
Language:
english
File:
PDF, 2.53 MB
english, 1995